Petri Nets with Time Windows: Possibilities and Limitations
نویسندگان
چکیده
In this paper we present a time extension of Petri nets called Petri net with Time Windows (short: tw-PN) where time intervals (windows) are associated with the places. We give a formal definition for this class and compare these time dependent Petri nets with their (timeless) skeletons. In particular, we compare their sets of reachable markings and their liveness behaviour. The sets of reachable markings are equal but the liveness behaviors are different. For a restricted class of tw-PNs, we give a sufficient condition for liveness equivalence. We prove that tw-PNs are not Turing equivalent and finally show the existence of runs with time gaps in a tw-PN.
منابع مشابه
Time and Concurrency - Three Approaches for Intertwining Time and Petri Nets
Time and Petri nets-do they not contradict each other? While time determines the occurrences of events in a system, classic Petri nets consider their causal relationships and represent events as a concurrent system. At first, these two appear to be at odds with each other, but taking a closer look at how time and causality are intertwined, one realizes that time actually enriches Petri nets. Th...
متن کاملHybrid Time Delay Petri Nets as a Mathematical Novel Tool to Model Dynamic System with Current Sample Time
The existing modeling methods using Petri Nets, have been successfully applied to model and analyze dynamic systems. However, these methods are not capable of modeling all dynamic systems such as systems with the current sample time signals, systems including various subsystems and multi-mode systems. This paper proposes Hybrid Time Delay Petri Nets (HTDPN) to solve the problem. In ...
متن کاملPetri Nets with Time Windows: A Comparison to Classical Petri Nets
We present Petri nets with time windows (tw-PN) where each place is associated with an interval (window). Every token which arrives at a place gets a real-valued clock which shows its “age”. A transition can fire when all needed tokens are “old enough”. When a token reaches an “age” equal to the upper bound of the place where it is situated, the “token’s age”, i.e., clock will be reset to zero....
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009